high-order predicate calculus

[計] 高階謂詞演算

熱門查詢